翻訳と辞書 Words near each other ・ Richard Stannard ・ Richard Stannard (triathlete) ・ Richard Stanton ・ Richard Stanton-Jones ・ Richard Staple ・ Richard Stapleton ・ Richard Stapleton-Cotton ・ Richard Stapley ・ Richard Starcke House ・ Richard Stark (politician) ・ Richard Starke ・ Richard Starkie ・ Richard Starkings ・ Richard Starr ・ Richard Starzak ・ Richard Statman ・ Richard Stauffacher ・ Richard Stayner ・ Richard Steadman ・ Richard Stearman ・ Richard Stearns ・ Richard Stearns (sailor) ・ Richard Stearns (World Vision) ・ Richard Stebbins ・ Richard Steele ・ Richard Steele (disambiguation) ・ Richard Steele (referee) ・ Richard Steere ・ Richard Steere (author) ・ Richard Steere (fencer) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Richard Statman ： ウィキペディア英語版 Richard Statman Richard Statman is an American computer scientist whose principal research interest is the theory of computation, especially symbolic computation. His research involves lambda calculus, type theory and combinatory algebra. ==Career== In 1974, Statman received his Ph.D. from Stanford University for his Ph.D dissertation, supervised by Georg Kreisel, entitled ''Structural Complexity of Proofs''. His achievements include the proof that type inhabitation problem in simply typed lambda calculus is PSPACE-complete. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Richard Statman」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.